Computably Based Locally Compact Spaces Paul Taylor June 29, 2004 Abstract Abstract Stone Duality is a re-axiomatisation of general topology in which the topology on a space is treated as an exponential object of the sam

Source URL: www.paultaylor.eu

Scott Domains in Abstract Stone Duality Paul Taylor August 5, 2003 Abstract Identifying the need for Scott domains to be overt (open) objects in intuitionistic locale theory, we re-work Scott’s informations systems con

Source URL: www.paultaylor.eu

• Metalogic
• Symbol
• Interpretation
• Structure
• Μ operator
• Linear temporal logic
• Model theory
• Logic
• Mathematics

Tychonov’s Theorem in Abstract Stone Duality Paul Taylor 24 September 2006 Abstract New constructive definition of compactness in the form of the existence of a continuous ”universal quantifier”. Construction and c

Source URL: www.paultaylor.eu

• Model theory
• Operator theory
• Spectral theory
• Orbifold
• Topology
• General topology
• Compact space

The Fixed Point Property in Synthetic Domain Theory Paul Taylor 1991 Abstract We present an elementary axiomatisation of synthetic domain theory and show that it

Source URL: www.paultaylor.eu

In defence of Dedekind and Heine–Borel Paul Taylor Third Workshop on Formal Topology Padova, mercoled`ı, il 9 Maggio 2007

Source URL: www.paultaylor.eu

• Metric geometry
• Real analysis
• Least-upper-bound property
• Order theory
• Cauchy sequence
• Real number
• Mathematical logic
• Complete metric space
• Compact space
• Mathematics
• Mathematical analysis
• Topology

The Dedekind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Abstract Abstract Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional and all other con

Source URL: www.paultaylor.eu

• General topology
• Order theory
• Real analysis
• Calculus
• Measure theory
• Least-upper-bound property
• Compact space
• Intermediate value theorem
• Continuous function
• Mathematical analysis
• Topology
• Mathematics

Interval Analysis Without Intervals Paul Taylor 20 February 2006 Abstract We argue that Dedekind completeness and the Heine–Borel property should be seen as part of the “algebraic” structure of the real line, along

Source URL: www.paultaylor.eu

• Order theory
• Real analysis
• Differential calculus
• Elementary mathematics
• Continuous function
• Dedekind cut
• Fundamental theorem of calculus
• Integral
• Least-upper-bound property
• Mathematical analysis
• Mathematics
• Functions and mappings

Computable Real Analysis without Set Theory or Turing Machines Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Theory of computation
• Mathematical logic
• General topology
• Functional analysis
• Computable number
• Computable function
• Continuous function
• Baire space
• Topological space
• Computability theory
• Mathematics
• Topology

Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522

Source URL: www.paultaylor.eu

• Locally compact space
• Duality
• Logic
• Equivalence of categories
• Stone duality
• Non-classical analysis
• Topology
• Mathematics
• General topology

Mining Bodily Cues to Deception Ronald Poppe∗ , Sophie van der Zee† , Paul J. Taylor‡§ , Ross Anderson† and Remco C. Veltkamp∗ ∗ Utrecht University, The Netherlands, {r.w.poppe,r.c.veltkamp}@uu.nl † Univer

Source URL: www.cl.cam.ac.uk